1. Efficient checking of polynomials and proofs and the hardness of approximation problems
پدیدآورنده: / Madhu Sudan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: NP-complete problems.,Computational complexity.,Automatic theorem proving.
رده :
QA
,
267
,.
S83
,
1995
2. Efficient checking of polynomials and proofs and the hardness of approximation problems
پدیدآورنده: Sudan, Madhu
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، NP-complete problems,، Computational complexity,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1001
